padre(john, sue). 
padre(bob, nancy).
padre(bill, ron).
padre(bob, jeff).
padre(bill, anne).
padre(john, bill).

madre(sue, jeff). 
madre(jane, ron). 
madre(carol, anne).
madre(sue, nancy).
madre(mary, sue).
madre(mary, bill).

hijo_a(Hijo, Padre) :- padre(Padre, Hijo).
hijo_a(Hijo, Padre) :- madre(Padre, Hijo).

abuelo(Abuelo, Nieto) :- padre(Abuelo, Padre), padre(Padre, Nieto).
abuelo(Abuelo, Nieto) :- padre(Abuelo, Madre), madre(Madre, Nieto).

abuela(Abuelo, Nieto) :- madre(Abuelo, Padre), padre(Padre, Nieto).
abuela(Abuelo, Nieto) :- madre(Abuelo, Madre), madre(Madre, Nieto).

descendiente(A, B) :- padre(B, A).
descendiente(A, B) :- madre(B, A).
descendiente(A, B) :- hijo_a(A, C), descendiente(C, B).

hermano_a(A, B) :- padre(C, A), padre(C, B), A \= B.
hermano_a(A, B) :- madre(C, A), madre(C, B), A \= B.

ancestro_paterno(X, X).
ancestro_paterno(X, Y) :-  padre(X, Z), ancestro_paterno(Z, Y).